About I am a lecturer in computer science. I was previously a Post Doc at IST Austria in the group of Krishnendu Chatterjee. My PhD advisor was Peter Bro Miltersen.